141. Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers
پدیدآورنده : Sheng Yu, Andrei Paun )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2088
142. Implementation and application of automata: 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000: revised papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
267
.
C52
2000
143. Implementation and application of automata :6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers
پدیدآورنده : Bruce W. Watson, Derick Wood )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2494
144. Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings
پدیدآورنده : Oscar H. Ibarra, Zhe Dang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2759
145. Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers
پدیدآورنده : Jean-Marc Champarnaud, Denis Maurel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2608
146. Knowledge and systems engineeringproceedings of the fifth International Conference KSE 2013
پدیدآورنده : Van Nam Huynh...]et al.[, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Information technology,Congresses ، Knowledge management,Congresses ، Knowledge representation )Information theory(,Congresses ، Image processing,Congresses ، Systems engineering,Congresses ، Human-computer interaction,Congresses ، Machine learning
رده :
QA76
.
76
147. Language and Automata Theory and Applications
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگره‌ها,زبانهای صوری -- کنگره‌ها,زبان‌شناسی ریاضی -- کنگره‌ها
رده :
E-Book
,
148. Language and Automata Theory and Applications :
پدیدآورنده : Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.
رده :
QA267
.
L38
2019eb
149. Language and automata theory and applications
پدیدآورنده : \ Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبانهای صوری -- کنگره ها ,زبان‌شناسی ریاضی -- کنگره ها
رده :
QA
267
.
L32
2015
E-Book
,
150. Language and automata theory and applications
پدیدآورنده : Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Formal languages, Congresses,Machine theory, Congresses,Mathematical linguistics, Congresses
رده :
QA267
.
L38
2012eb
151. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
152. Learning theory and Kernel machines : 16th annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003 : proceedings
پدیدآورنده : Bernhard Scholkopf, Manfred K. Warmuth )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational learning theory,Congresses ، Machine learning
رده :
QA
76
.
L28
Vol
.
2777
153. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
پدیدآورنده : Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses
رده :
QA
267
.
S98
1983
154. Mathematial systems theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، System analysis-- Congresses,، Computer simulation,، Sequential machine theory-- Congresses,، Coding theory-- Congresses
رده :
QA
402
.
C56
155. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
156. Mathematical foundations of computer science 1995
پدیدآورنده :
موضوع : Machine theory- Congresses,Formal languages- Congresses,Programming )Electronic computers(- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
157. Mathematical foundations of computer science 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
158. Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28 - September 1, 1989 : Proceedings
پدیدآورنده : A. Kreczmar, G. Mirkowska )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
379
159. Mathematical foundations of computer science 1986 : Proceedings of the 12th Symposium, Bratislava, Czchoslovakia, August 25-29, 1986
پدیدآورنده : edited by J. Gruska, B. Rovan and J. Wiedermann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
233
160. Mathematical foundations of computer science 1988 : Proceedings of the 13th Symposium, Carlsbad, Czchoslovakia, August 29-September 2, 1988
پدیدآورنده : M.P. Chytil, L. Janiga, V. Koubek )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
324
